build system: stubdom targets now depends on mini-os target
authorWei Liu <wei.liu2@citrix.com>
Fri, 30 Jan 2015 15:58:38 +0000 (15:58 +0000)
committerWei Liu <wei.liu2@citrix.com>
Fri, 27 Feb 2015 16:04:50 +0000 (16:04 +0000)
commit42ddf48a29d2109e6b33fddd6dafd75e0747fd09
tree2fdb6f31be8664c2ae5a5e4a4d6560f5611f8b2c
parent4af58a26becdac6a8697e9a488d265a28520a17d
build system: stubdom targets now depends on mini-os target

Provide mini-os url and revision in Config.mk

Make stubdom targets depend on mini-os-dir target. Make
subtree-force-update{,-all} depend on mini-os-dir-force-update.

Also make mktarball script generate mini-os archive.

Original mini-os directory is renamed to mini-os-intree to help reduce
patch length. That directory will be deleted in a separate patch.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Cc: Ian Campbell <ian.campbell@citrix.com>
Cc: Ian Jackson <ian.jackson@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
---
Changes in v3:
1. Put mini-os targets in main Makefile.
2. Stubdom clean and distclean don't depend on mini-os-dir.

Changes in v2:
1. Use hash in Config.mk.
447 files changed:
.gitignore
Config.mk
Makefile
extras/mini-os-intree/COPYING [new file with mode: 0644]
extras/mini-os-intree/Config.mk [new file with mode: 0644]
extras/mini-os-intree/Makefile [new file with mode: 0644]
extras/mini-os-intree/README [new file with mode: 0644]
extras/mini-os-intree/app.lds [new file with mode: 0644]
extras/mini-os-intree/arch/arm/arm32.S [new file with mode: 0644]
extras/mini-os-intree/arch/arm/events.c [new file with mode: 0644]
extras/mini-os-intree/arch/arm/hypercalls32.S [new file with mode: 0644]
extras/mini-os-intree/arch/arm/minios-arm32.lds [new file with mode: 0755]
extras/mini-os-intree/arch/arm/mm.c [new file with mode: 0644]
extras/mini-os-intree/arch/arm/panic.c [new file with mode: 0644]
extras/mini-os-intree/arch/arm/sched.c [new file with mode: 0644]
extras/mini-os-intree/arch/arm/setup.c [new file with mode: 0644]
extras/mini-os-intree/arch/arm/time.c [new file with mode: 0644]
extras/mini-os-intree/arch/x86/Makefile [new file with mode: 0644]
extras/mini-os-intree/arch/x86/arch.mk [new file with mode: 0644]
extras/mini-os-intree/arch/x86/events.c [new file with mode: 0644]
extras/mini-os-intree/arch/x86/ioremap.c [new file with mode: 0644]
extras/mini-os-intree/arch/x86/iorw.c [new file with mode: 0644]
extras/mini-os-intree/arch/x86/minios-x86_32.lds [new file with mode: 0644]
extras/mini-os-intree/arch/x86/minios-x86_64.lds [new file with mode: 0644]
extras/mini-os-intree/arch/x86/mm.c [new file with mode: 0644]
extras/mini-os-intree/arch/x86/sched.c [new file with mode: 0644]
extras/mini-os-intree/arch/x86/setup.c [new file with mode: 0644]
extras/mini-os-intree/arch/x86/time.c [new file with mode: 0644]
extras/mini-os-intree/arch/x86/traps.c [new file with mode: 0644]
extras/mini-os-intree/arch/x86/x86_32.S [new file with mode: 0644]
extras/mini-os-intree/arch/x86/x86_64.S [new file with mode: 0644]
extras/mini-os-intree/blkfront.c [new file with mode: 0644]
extras/mini-os-intree/config/MiniOS.mk [new file with mode: 0644]
extras/mini-os-intree/config/StdGNU.mk [new file with mode: 0644]
extras/mini-os-intree/config/arm32.mk [new file with mode: 0644]
extras/mini-os-intree/config/arm64.mk [new file with mode: 0644]
extras/mini-os-intree/config/x86_32.mk [new file with mode: 0644]
extras/mini-os-intree/config/x86_64.mk [new file with mode: 0644]
extras/mini-os-intree/console/console.c [new file with mode: 0644]
extras/mini-os-intree/console/console.h [new file with mode: 0644]
extras/mini-os-intree/console/xenbus.c [new file with mode: 0644]
extras/mini-os-intree/console/xencons_ring.c [new file with mode: 0644]
extras/mini-os-intree/daytime.c [new file with mode: 0644]
extras/mini-os-intree/domain_config [new file with mode: 0644]
extras/mini-os-intree/events.c [new file with mode: 0644]
extras/mini-os-intree/fbfront.c [new file with mode: 0644]
extras/mini-os-intree/gntmap.c [new file with mode: 0644]
extras/mini-os-intree/gnttab.c [new file with mode: 0644]
extras/mini-os-intree/hypervisor.c [new file with mode: 0644]
extras/mini-os-intree/include/arch/cc.h [new file with mode: 0644]
extras/mini-os-intree/include/arch/perf.h [new file with mode: 0644]
extras/mini-os-intree/include/arch/sys_arch.h [new file with mode: 0644]
extras/mini-os-intree/include/arm/arch_endian.h [new file with mode: 0644]
extras/mini-os-intree/include/arm/arch_limits.h [new file with mode: 0644]
extras/mini-os-intree/include/arm/arch_mm.h [new file with mode: 0644]
extras/mini-os-intree/include/arm/arch_sched.h [new file with mode: 0644]
extras/mini-os-intree/include/arm/arch_spinlock.h [new file with mode: 0755]
extras/mini-os-intree/include/arm/arm32/arch_wordsize.h [new file with mode: 0644]
extras/mini-os-intree/include/arm/gic.h [new file with mode: 0644]
extras/mini-os-intree/include/arm/hypercall-arm.h [new file with mode: 0644]
extras/mini-os-intree/include/arm/os.h [new file with mode: 0644]
extras/mini-os-intree/include/arm/traps.h [new file with mode: 0644]
extras/mini-os-intree/include/blkfront.h [new file with mode: 0644]
extras/mini-os-intree/include/byteorder.h [new file with mode: 0644]
extras/mini-os-intree/include/byteswap.h [new file with mode: 0644]
extras/mini-os-intree/include/compiler.h [new file with mode: 0644]
extras/mini-os-intree/include/console.h [new file with mode: 0644]
extras/mini-os-intree/include/ctype.h [new file with mode: 0644]
extras/mini-os-intree/include/endian.h [new file with mode: 0644]
extras/mini-os-intree/include/err.h [new file with mode: 0644]
extras/mini-os-intree/include/errno-base.h [new file with mode: 0644]
extras/mini-os-intree/include/errno.h [new file with mode: 0644]
extras/mini-os-intree/include/events.h [new file with mode: 0644]
extras/mini-os-intree/include/fbfront.h [new file with mode: 0644]
extras/mini-os-intree/include/fcntl.h [new file with mode: 0644]
extras/mini-os-intree/include/gntmap.h [new file with mode: 0644]
extras/mini-os-intree/include/gnttab.h [new file with mode: 0644]
extras/mini-os-intree/include/hypervisor.h [new file with mode: 0644]
extras/mini-os-intree/include/ioremap.h [new file with mode: 0644]
extras/mini-os-intree/include/iorw.h [new file with mode: 0644]
extras/mini-os-intree/include/kernel.h [new file with mode: 0644]
extras/mini-os-intree/include/lib-gpl.h [new file with mode: 0644]
extras/mini-os-intree/include/lib.h [new file with mode: 0644]
extras/mini-os-intree/include/linux/types.h [new file with mode: 0644]
extras/mini-os-intree/include/lwipopts.h [new file with mode: 0644]
extras/mini-os-intree/include/minios-external/README [new file with mode: 0644]
extras/mini-os-intree/include/minios-external/bsd-COPYRIGHT [new file with mode: 0644]
extras/mini-os-intree/include/minios-external/bsd-queue.3 [new file with mode: 0644]
extras/mini-os-intree/include/minios-external/bsd-sys-queue-h-seddery [new file with mode: 0755]
extras/mini-os-intree/include/minios-external/bsd-sys-queue.h [new file with mode: 0644]
extras/mini-os-intree/include/mm.h [new file with mode: 0644]
extras/mini-os-intree/include/netfront.h [new file with mode: 0644]
extras/mini-os-intree/include/pcifront.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/arpa/inet.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/dirent.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/err.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/fcntl.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/limits.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/net/if.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/netdb.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/netinet/in.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/netinet/tcp.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/poll.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/pthread.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/signal.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/stdlib.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/strings.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/sys/ioctl.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/sys/mman.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/sys/poll.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/sys/select.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/sys/socket.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/sys/stat.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/syslog.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/termios.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/time.h [new file with mode: 0644]
extras/mini-os-intree/include/posix/unistd.h [new file with mode: 0644]
extras/mini-os-intree/include/sched.h [new file with mode: 0644]
extras/mini-os-intree/include/semaphore.h [new file with mode: 0644]
extras/mini-os-intree/include/spinlock.h [new file with mode: 0644]
extras/mini-os-intree/include/sys/lock.h [new file with mode: 0644]
extras/mini-os-intree/include/sys/time.h [new file with mode: 0644]
extras/mini-os-intree/include/time.h [new file with mode: 0644]
extras/mini-os-intree/include/tpm_tis.h [new file with mode: 0644]
extras/mini-os-intree/include/tpmback.h [new file with mode: 0644]
extras/mini-os-intree/include/tpmfront.h [new file with mode: 0644]
extras/mini-os-intree/include/types.h [new file with mode: 0644]
extras/mini-os-intree/include/wait.h [new file with mode: 0644]
extras/mini-os-intree/include/waittypes.h [new file with mode: 0644]
extras/mini-os-intree/include/x86/arch_endian.h [new file with mode: 0644]
extras/mini-os-intree/include/x86/arch_limits.h [new file with mode: 0644]
extras/mini-os-intree/include/x86/arch_mm.h [new file with mode: 0644]
extras/mini-os-intree/include/x86/arch_sched.h [new file with mode: 0644]
extras/mini-os-intree/include/x86/arch_spinlock.h [new file with mode: 0644]
extras/mini-os-intree/include/x86/os.h [new file with mode: 0644]
extras/mini-os-intree/include/x86/traps.h [new file with mode: 0644]
extras/mini-os-intree/include/x86/x86_32/arch_wordsize.h [new file with mode: 0644]
extras/mini-os-intree/include/x86/x86_32/hypercall-x86_32.h [new file with mode: 0644]
extras/mini-os-intree/include/x86/x86_64/arch_wordsize.h [new file with mode: 0644]
extras/mini-os-intree/include/x86/x86_64/hypercall-x86_64.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/COPYING [new file with mode: 0644]
extras/mini-os-intree/include/xen/arch-arm.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/arch-arm/hvm/save.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/arch-x86/cpuid.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/arch-x86/hvm/save.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/arch-x86/xen-mca.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/arch-x86/xen-x86_32.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/arch-x86/xen-x86_64.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/arch-x86/xen.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/arch-x86_32.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/arch-x86_64.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/callback.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/dom0_ops.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/domctl.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/elfnote.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/event_channel.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/features.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/gcov.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/grant_table.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/hvm/e820.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/hvm/hvm_info_table.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/hvm/hvm_op.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/hvm/hvm_xs_strings.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/hvm/ioreq.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/hvm/params.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/hvm/pvdrivers.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/hvm/save.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/io/blkif.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/io/console.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/io/fbif.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/io/fsif.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/io/kbdif.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/io/libxenvchan.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/io/netif.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/io/pciif.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/io/protocols.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/io/ring.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/io/tpmif.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/io/usbif.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/io/vscsiif.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/io/xenbus.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/io/xs_wire.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/kexec.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/mem_event.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/memory.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/nmi.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/physdev.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/platform.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/sched.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/sysctl.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/tmem.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/trace.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/vcpu.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/version.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/xen-compat.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/xen.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/xencomm.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/xenoprof.h [new file with mode: 0644]
extras/mini-os-intree/include/xen/xsm/flask_op.h [new file with mode: 0644]
extras/mini-os-intree/include/xenbus.h [new file with mode: 0644]
extras/mini-os-intree/include/xmalloc.h [new file with mode: 0644]
extras/mini-os-intree/kernel.c [new file with mode: 0644]
extras/mini-os-intree/lib/ctype.c [new file with mode: 0644]
extras/mini-os-intree/lib/math.c [new file with mode: 0644]
extras/mini-os-intree/lib/printf.c [new file with mode: 0644]
extras/mini-os-intree/lib/stack_chk_fail.c [new file with mode: 0644]
extras/mini-os-intree/lib/string.c [new file with mode: 0644]
extras/mini-os-intree/lib/sys.c [new file with mode: 0644]
extras/mini-os-intree/lib/xmalloc.c [new file with mode: 0644]
extras/mini-os-intree/lib/xs.c [new file with mode: 0644]
extras/mini-os-intree/lock.c [new file with mode: 0644]
extras/mini-os-intree/lwip-arch.c [new file with mode: 0644]
extras/mini-os-intree/lwip-net.c [new file with mode: 0644]
extras/mini-os-intree/main.c [new file with mode: 0644]
extras/mini-os-intree/minios.mk [new file with mode: 0644]
extras/mini-os-intree/mm.c [new file with mode: 0644]
extras/mini-os-intree/netfront.c [new file with mode: 0644]
extras/mini-os-intree/pcifront.c [new file with mode: 0644]
extras/mini-os-intree/sched.c [new file with mode: 0644]
extras/mini-os-intree/test.c [new file with mode: 0644]
extras/mini-os-intree/tpm_tis.c [new file with mode: 0644]
extras/mini-os-intree/tpmback.c [new file with mode: 0644]
extras/mini-os-intree/tpmfront.c [new file with mode: 0644]
extras/mini-os-intree/xenbus/xenbus.c [new file with mode: 0644]
extras/mini-os/COPYING [deleted file]
extras/mini-os/Config.mk [deleted file]
extras/mini-os/Makefile [deleted file]
extras/mini-os/README [deleted file]
extras/mini-os/app.lds [deleted file]
extras/mini-os/arch/arm/arm32.S [deleted file]
extras/mini-os/arch/arm/events.c [deleted file]
extras/mini-os/arch/arm/hypercalls32.S [deleted file]
extras/mini-os/arch/arm/minios-arm32.lds [deleted file]
extras/mini-os/arch/arm/mm.c [deleted file]
extras/mini-os/arch/arm/panic.c [deleted file]
extras/mini-os/arch/arm/sched.c [deleted file]
extras/mini-os/arch/arm/setup.c [deleted file]
extras/mini-os/arch/arm/time.c [deleted file]
extras/mini-os/arch/x86/Makefile [deleted file]
extras/mini-os/arch/x86/arch.mk [deleted file]
extras/mini-os/arch/x86/events.c [deleted file]
extras/mini-os/arch/x86/ioremap.c [deleted file]
extras/mini-os/arch/x86/iorw.c [deleted file]
extras/mini-os/arch/x86/minios-x86_32.lds [deleted file]
extras/mini-os/arch/x86/minios-x86_64.lds [deleted file]
extras/mini-os/arch/x86/mm.c [deleted file]
extras/mini-os/arch/x86/sched.c [deleted file]
extras/mini-os/arch/x86/setup.c [deleted file]
extras/mini-os/arch/x86/time.c [deleted file]
extras/mini-os/arch/x86/traps.c [deleted file]
extras/mini-os/arch/x86/x86_32.S [deleted file]
extras/mini-os/arch/x86/x86_64.S [deleted file]
extras/mini-os/blkfront.c [deleted file]
extras/mini-os/config/MiniOS.mk [deleted file]
extras/mini-os/config/StdGNU.mk [deleted file]
extras/mini-os/config/arm32.mk [deleted file]
extras/mini-os/config/arm64.mk [deleted file]
extras/mini-os/config/x86_32.mk [deleted file]
extras/mini-os/config/x86_64.mk [deleted file]
extras/mini-os/console/console.c [deleted file]
extras/mini-os/console/console.h [deleted file]
extras/mini-os/console/xenbus.c [deleted file]
extras/mini-os/console/xencons_ring.c [deleted file]
extras/mini-os/daytime.c [deleted file]
extras/mini-os/domain_config [deleted file]
extras/mini-os/events.c [deleted file]
extras/mini-os/fbfront.c [deleted file]
extras/mini-os/gntmap.c [deleted file]
extras/mini-os/gnttab.c [deleted file]
extras/mini-os/hypervisor.c [deleted file]
extras/mini-os/include/arch/cc.h [deleted file]
extras/mini-os/include/arch/perf.h [deleted file]
extras/mini-os/include/arch/sys_arch.h [deleted file]
extras/mini-os/include/arm/arch_endian.h [deleted file]
extras/mini-os/include/arm/arch_limits.h [deleted file]
extras/mini-os/include/arm/arch_mm.h [deleted file]
extras/mini-os/include/arm/arch_sched.h [deleted file]
extras/mini-os/include/arm/arch_spinlock.h [deleted file]
extras/mini-os/include/arm/arm32/arch_wordsize.h [deleted file]
extras/mini-os/include/arm/gic.h [deleted file]
extras/mini-os/include/arm/hypercall-arm.h [deleted file]
extras/mini-os/include/arm/os.h [deleted file]
extras/mini-os/include/arm/traps.h [deleted file]
extras/mini-os/include/blkfront.h [deleted file]
extras/mini-os/include/byteorder.h [deleted file]
extras/mini-os/include/byteswap.h [deleted file]
extras/mini-os/include/compiler.h [deleted file]
extras/mini-os/include/console.h [deleted file]
extras/mini-os/include/ctype.h [deleted file]
extras/mini-os/include/endian.h [deleted file]
extras/mini-os/include/err.h [deleted file]
extras/mini-os/include/errno-base.h [deleted file]
extras/mini-os/include/errno.h [deleted file]
extras/mini-os/include/events.h [deleted file]
extras/mini-os/include/fbfront.h [deleted file]
extras/mini-os/include/fcntl.h [deleted file]
extras/mini-os/include/gntmap.h [deleted file]
extras/mini-os/include/gnttab.h [deleted file]
extras/mini-os/include/hypervisor.h [deleted file]
extras/mini-os/include/ioremap.h [deleted file]
extras/mini-os/include/iorw.h [deleted file]
extras/mini-os/include/kernel.h [deleted file]
extras/mini-os/include/lib-gpl.h [deleted file]
extras/mini-os/include/lib.h [deleted file]
extras/mini-os/include/linux/types.h [deleted file]
extras/mini-os/include/lwipopts.h [deleted file]
extras/mini-os/include/minios-external/README [deleted file]
extras/mini-os/include/minios-external/bsd-COPYRIGHT [deleted file]
extras/mini-os/include/minios-external/bsd-queue.3 [deleted file]
extras/mini-os/include/minios-external/bsd-sys-queue-h-seddery [deleted file]
extras/mini-os/include/minios-external/bsd-sys-queue.h [deleted file]
extras/mini-os/include/mm.h [deleted file]
extras/mini-os/include/netfront.h [deleted file]
extras/mini-os/include/pcifront.h [deleted file]
extras/mini-os/include/posix/arpa/inet.h [deleted file]
extras/mini-os/include/posix/dirent.h [deleted file]
extras/mini-os/include/posix/err.h [deleted file]
extras/mini-os/include/posix/fcntl.h [deleted file]
extras/mini-os/include/posix/limits.h [deleted file]
extras/mini-os/include/posix/net/if.h [deleted file]
extras/mini-os/include/posix/netdb.h [deleted file]
extras/mini-os/include/posix/netinet/in.h [deleted file]
extras/mini-os/include/posix/netinet/tcp.h [deleted file]
extras/mini-os/include/posix/poll.h [deleted file]
extras/mini-os/include/posix/pthread.h [deleted file]
extras/mini-os/include/posix/signal.h [deleted file]
extras/mini-os/include/posix/stdlib.h [deleted file]
extras/mini-os/include/posix/strings.h [deleted file]
extras/mini-os/include/posix/sys/ioctl.h [deleted file]
extras/mini-os/include/posix/sys/mman.h [deleted file]
extras/mini-os/include/posix/sys/poll.h [deleted file]
extras/mini-os/include/posix/sys/select.h [deleted file]
extras/mini-os/include/posix/sys/socket.h [deleted file]
extras/mini-os/include/posix/sys/stat.h [deleted file]
extras/mini-os/include/posix/syslog.h [deleted file]
extras/mini-os/include/posix/termios.h [deleted file]
extras/mini-os/include/posix/time.h [deleted file]
extras/mini-os/include/posix/unistd.h [deleted file]
extras/mini-os/include/sched.h [deleted file]
extras/mini-os/include/semaphore.h [deleted file]
extras/mini-os/include/spinlock.h [deleted file]
extras/mini-os/include/sys/lock.h [deleted file]
extras/mini-os/include/sys/time.h [deleted file]
extras/mini-os/include/time.h [deleted file]
extras/mini-os/include/tpm_tis.h [deleted file]
extras/mini-os/include/tpmback.h [deleted file]
extras/mini-os/include/tpmfront.h [deleted file]
extras/mini-os/include/types.h [deleted file]
extras/mini-os/include/wait.h [deleted file]
extras/mini-os/include/waittypes.h [deleted file]
extras/mini-os/include/x86/arch_endian.h [deleted file]
extras/mini-os/include/x86/arch_limits.h [deleted file]
extras/mini-os/include/x86/arch_mm.h [deleted file]
extras/mini-os/include/x86/arch_sched.h [deleted file]
extras/mini-os/include/x86/arch_spinlock.h [deleted file]
extras/mini-os/include/x86/os.h [deleted file]
extras/mini-os/include/x86/traps.h [deleted file]
extras/mini-os/include/x86/x86_32/arch_wordsize.h [deleted file]
extras/mini-os/include/x86/x86_32/hypercall-x86_32.h [deleted file]
extras/mini-os/include/x86/x86_64/arch_wordsize.h [deleted file]
extras/mini-os/include/x86/x86_64/hypercall-x86_64.h [deleted file]
extras/mini-os/include/xen/COPYING [deleted file]
extras/mini-os/include/xen/arch-arm.h [deleted file]
extras/mini-os/include/xen/arch-arm/hvm/save.h [deleted file]
extras/mini-os/include/xen/arch-x86/cpuid.h [deleted file]
extras/mini-os/include/xen/arch-x86/hvm/save.h [deleted file]
extras/mini-os/include/xen/arch-x86/xen-mca.h [deleted file]
extras/mini-os/include/xen/arch-x86/xen-x86_32.h [deleted file]
extras/mini-os/include/xen/arch-x86/xen-x86_64.h [deleted file]
extras/mini-os/include/xen/arch-x86/xen.h [deleted file]
extras/mini-os/include/xen/arch-x86_32.h [deleted file]
extras/mini-os/include/xen/arch-x86_64.h [deleted file]
extras/mini-os/include/xen/callback.h [deleted file]
extras/mini-os/include/xen/dom0_ops.h [deleted file]
extras/mini-os/include/xen/domctl.h [deleted file]
extras/mini-os/include/xen/elfnote.h [deleted file]
extras/mini-os/include/xen/event_channel.h [deleted file]
extras/mini-os/include/xen/features.h [deleted file]
extras/mini-os/include/xen/gcov.h [deleted file]
extras/mini-os/include/xen/grant_table.h [deleted file]
extras/mini-os/include/xen/hvm/e820.h [deleted file]
extras/mini-os/include/xen/hvm/hvm_info_table.h [deleted file]
extras/mini-os/include/xen/hvm/hvm_op.h [deleted file]
extras/mini-os/include/xen/hvm/hvm_xs_strings.h [deleted file]
extras/mini-os/include/xen/hvm/ioreq.h [deleted file]
extras/mini-os/include/xen/hvm/params.h [deleted file]
extras/mini-os/include/xen/hvm/pvdrivers.h [deleted file]
extras/mini-os/include/xen/hvm/save.h [deleted file]
extras/mini-os/include/xen/io/blkif.h [deleted file]
extras/mini-os/include/xen/io/console.h [deleted file]
extras/mini-os/include/xen/io/fbif.h [deleted file]
extras/mini-os/include/xen/io/fsif.h [deleted file]
extras/mini-os/include/xen/io/kbdif.h [deleted file]
extras/mini-os/include/xen/io/libxenvchan.h [deleted file]
extras/mini-os/include/xen/io/netif.h [deleted file]
extras/mini-os/include/xen/io/pciif.h [deleted file]
extras/mini-os/include/xen/io/protocols.h [deleted file]
extras/mini-os/include/xen/io/ring.h [deleted file]
extras/mini-os/include/xen/io/tpmif.h [deleted file]
extras/mini-os/include/xen/io/usbif.h [deleted file]
extras/mini-os/include/xen/io/vscsiif.h [deleted file]
extras/mini-os/include/xen/io/xenbus.h [deleted file]
extras/mini-os/include/xen/io/xs_wire.h [deleted file]
extras/mini-os/include/xen/kexec.h [deleted file]
extras/mini-os/include/xen/mem_event.h [deleted file]
extras/mini-os/include/xen/memory.h [deleted file]
extras/mini-os/include/xen/nmi.h [deleted file]
extras/mini-os/include/xen/physdev.h [deleted file]
extras/mini-os/include/xen/platform.h [deleted file]
extras/mini-os/include/xen/sched.h [deleted file]
extras/mini-os/include/xen/sysctl.h [deleted file]
extras/mini-os/include/xen/tmem.h [deleted file]
extras/mini-os/include/xen/trace.h [deleted file]
extras/mini-os/include/xen/vcpu.h [deleted file]
extras/mini-os/include/xen/version.h [deleted file]
extras/mini-os/include/xen/xen-compat.h [deleted file]
extras/mini-os/include/xen/xen.h [deleted file]
extras/mini-os/include/xen/xencomm.h [deleted file]
extras/mini-os/include/xen/xenoprof.h [deleted file]
extras/mini-os/include/xen/xsm/flask_op.h [deleted file]
extras/mini-os/include/xenbus.h [deleted file]
extras/mini-os/include/xmalloc.h [deleted file]
extras/mini-os/kernel.c [deleted file]
extras/mini-os/lib/ctype.c [deleted file]
extras/mini-os/lib/math.c [deleted file]
extras/mini-os/lib/printf.c [deleted file]
extras/mini-os/lib/stack_chk_fail.c [deleted file]
extras/mini-os/lib/string.c [deleted file]
extras/mini-os/lib/sys.c [deleted file]
extras/mini-os/lib/xmalloc.c [deleted file]
extras/mini-os/lib/xs.c [deleted file]
extras/mini-os/lock.c [deleted file]
extras/mini-os/lwip-arch.c [deleted file]
extras/mini-os/lwip-net.c [deleted file]
extras/mini-os/main.c [deleted file]
extras/mini-os/minios.mk [deleted file]
extras/mini-os/mm.c [deleted file]
extras/mini-os/netfront.c [deleted file]
extras/mini-os/pcifront.c [deleted file]
extras/mini-os/sched.c [deleted file]
extras/mini-os/test.c [deleted file]
extras/mini-os/tpm_tis.c [deleted file]
extras/mini-os/tpmback.c [deleted file]
extras/mini-os/tpmfront.c [deleted file]
extras/mini-os/xenbus/xenbus.c [deleted file]
stubdom/Makefile
tools/misc/mktarball